;;;; 2010-12-18 22:54:35
;;;; tests for your lisp code

(in-package :partial-order-planner)

(poplanner '((at h) (sells sm b)) '((at sm) (have b)) (cons (make-action :name 'goto :preconditions '((at x)) :effects '((at y) (not (at x))))(cons (make-action :name 'buy :preconditions '((at y) (sells y x)) :effects '((have x))) ())))
(poplanner '((at h)) '((at sm)) (cons (make-action :name 'goto :preconditions '((at x)) :effects '((at y) (not (p x)))) ()))
;;;;;;;;;;;;The banana milk dril problem;;;;;;;;;;;;;;;;;;;;;;;;
(poplanner '((at home) (sells sm m) (sells sm b) (sells hws d)) '((at home) (have m) (have b) (have d)) (cons (make-action :name 'goto :preconditions '((at x)) :effects '((at y) (not (at x))))(cons (make-action :name 'buy :preconditions '((at y) (sells y x)) :effects '((have x))) ())))